<?php

session_name('ws_session');
session_start();

?>